Новая философская энциклопедия - бочвар дмитрий анатольевич
Связанные словари
Бочвар дмитрий анатольевич
Построенная Бочваром в 1938 г. трехзначная логика В » была применена им для анализа парадоксов Б. Рассела и Г. Вейля. Третьим истинностным значением (отличным от истины и лжи) в В » является «бессмыслица». Анализ логических и семантических парадоксов в смысле Бочвара состоит в доказательстве бессмысленности парадоксальных высказываний.
Важной методологической идеей, предложенной Б. в связи с анализом парадоксов, была идея различения внутренних и внешних логических связок и построение двух уровней логического языка—внутреннего языка, в котором выражаются некоторые факты, но нет средств их доказательства, и внешнего языка, в котором доказываются утверждения о фактах, представленных формулами внутреннего языка. В соответствии с этой идеей парадоксальная формула принадлежит внутреннему языку, а утверждение о ее бессмысленности — внешнему.
Бочвар опубликовал цикл работ по теории логических парадоксов. Средствами расширенного исчисления предикатов Ко он охарактеризовал ограничения, которые следует наложить на аксиомы свертывания, которые являются «источником» парадоксов.
Бочвар исследовал также парадоксы логические, основанные на множествах определений предикатов, каждое из которых непротиворечиво в отдельности. Он также ввел в рассмотрение операторы логической аппроксимации для изучения структур аксиом свертывания (как «источников» парадоксов).
Идеи, развитые Бочваром, активно применялись в работах по проблемам философской логики, рассматривающих природу парадоксов, в исследованиях по логическому анализу естественного языка, а также в теории автоматизированных правдоподобных рассуждений, основанных на многозначных логиках.
Соч.: Об одном трехзначном исчислении и его применении к анализу парадоксов классического расширенного функционального исчисления.—«Математический сб.», 1938, т. 4, вып. 2; К вопросу о непротиворечивости одного трехзначного исчисления.—Там же. 1943, т. 12, вып. 3; К вопросу о парадоксах математической логики и теории множеств.—Там же, 1944, т. 15, вып. 3; Некоторые доги» ческие теоремы о нормальных множествах и предикатах.—Там же, 1945, т. 16, вып. 3; К вопросу о парадоксах и к проблеме расширенного исчисления предикатов.—Там же, 1957, т. 42, вып. 1; Об антиномиях, основанных на группах определений предикатов, каждое из которых непротиворечиво в отдельности.—Там же, I960, т. 52, вып. 1; Меры ядер аксим свертывания.—«ДАН», 1969, т. 185, № 6; Бочвар Д. А., Фуксин И. Об операторах логической аппроксимации.— В кн.: Тр. математического института им. В. А. Стеклова, 1973,т. 133.
Вопрос-ответ:
Самые популярные термины
1 | 2287 | |
2 | 1816 | |
3 | 1769 | |
4 | 1759 | |
5 | 1674 | |
6 | 1611 | |
7 | 1525 | |
8 | 1493 | |
9 | 1492 | |
10 | 1472 | |
11 | 1445 | |
12 | 1445 | |
13 | 1424 | |
14 | 1419 | |
15 | 1319 | |
16 | 1291 | |
17 | 1278 | |
18 | 1271 | |
19 | 1264 | |
20 | 1246 |